Test Suite for Reasoning about Change
نویسنده
چکیده
Explanation closure (EC) axioms were previously introduced as a means of solving the frame problem. This paper provides a thorough demonstration of the power of EC combined with action closure (AC) for reasoning about dynamic worlds, by way of Sandewall's test suite of 12-or-so problems ((30], 31]). Sandewall's problems range from the \Yale turkey shoot" (and variants) to the \stuuy room" problem, and were intended as a test and challenge for nonmonotonic logics of action. The EC/AC-based solutions for the most part do not resort to nonmonotonic reasoning at all, yet yield the intuitively warranted inferences in a direct, transparent fashion. While there are good reasons for ultimately employing nonmonotonic or probabilistic logics { e.g., pervasive uncertainty and the qualiication problem { this does show that the scope of monotonic methods has been underestimated. Subsidiary purposes of the paper are to clarify the intuitive status of EC axioms in relation to action eeect axioms; and to show how EC, previously formulated within the situation calculus, can be applied within the framework of a temporal logic similar to Sandewall's \discrete uent logic", with some gains in clarity.
منابع مشابه
Explanation Closure, Action Closure, and the Sandewall Test Suite for Reasoning about Change
متن کامل
The Effect of Bayesian Reasoning Training on the Results of Clinical Reasoning Tests of Interns
Introduction: Clinical reasoning includes a range of thinking about clinical medicine at all stages of patient evaluation. Bayesian theory can be used to refute or confirm differential diagnoses in the clinical reasoning process. In this way, by learning the basic mathematical language of probability in medicine, we can change our beliefs according to new evidence. The aim of this study is to i...
متن کاملJuS: Squeezing the Sense out of JavaScript Programs
We introduce JuS (JavaScript under Scrutiny), a first step towards a static-analysis tool for JavaScript based on a program logic in the style of separation logic. In particular, we focus on reasoning automatically about the JavaScript variable store. Because of prototype-based inheritance and with statements, even reasoning about variables is not trivial in JavaScript. We evaluate our tool on ...
متن کاملBeluga: A Framework for Programming and Reasoning with Deductive Systems
Beluga is an environment for programming and reasoning about formal systems given by axioms and inference rules. It implements the logical framework LF for specifying and prototyping formal systems via higher-order abstract syntax. It also supports reasoning: the user implements inductive proofs about formal systems as dependently typed recursive functions. A distinctive feature of Beluga is th...
متن کاملBeluga: A Framework for Programming and Reasoning with Deductive Systems (System Description)
Beluga is an environment for programming and reasoning about formal systems given by axioms and inference rules. It implements the logical framework LF for specifying and prototyping formal systems via higher-order abstract syntax. It also supports reasoning: the user implements inductive proofs about formal systems as dependently typed recursive functions. A distinctive feature of Beluga is th...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 1992